$\forall$$A$:MsgA. AtomFree(ds($A$)) $\Rightarrow$ ($\forall$$x$:Id. AtomFree(Type;$A$.ds($x$)))